bitkeeper revision 1.1159.197.1 (41aa39a8_y7hSW5OrZc3_OWAfukaNw)
authoriap10@labyrinth.cl.cam.ac.uk <iap10@labyrinth.cl.cam.ac.uk>
Sun, 28 Nov 2004 20:48:40 +0000 (20:48 +0000)
committeriap10@labyrinth.cl.cam.ac.uk <iap10@labyrinth.cl.cam.ac.uk>
Sun, 28 Nov 2004 20:48:40 +0000 (20:48 +0000)
Add link to ttylinux homepage in the documentation.

docs/src/user.tex

index b01ad5ba832ece99aaf96bf23853202edcf2f102..f098260378f2f10eb7fdef24578a01825f15b000 100644 (file)
@@ -707,7 +707,9 @@ culminating in a login prompt.
 Ttylinux is a very small Linux distribution, designed to require very
 few resources.  We will use it as a concrete example of how to start a
 Xen domain.  Most users will probably want to install a full-featured
-distribution once they have mastered the basics.
+distribution once they have mastered the basics\footnote{ttylinux is
+maintained by Pascal Schmidt. You can download source packages from
+the distribution's home page: {\tt http://www.minimalinux.org/ttylinux/}}.
 
 \begin{enumerate}
 \item Download and extract the ttylinux disk image from the Files